| Ident. | Authors (with country if any) | Title |
|---|
| 000052 |
Yamine Ait Ameur [France] ; Dominique Méry [France] | Making explicit domain knowledge in formal system development |
| 000180 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Incremental Proof-Based Development for Resilient Distributed Systems |
| 000182 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems |
| 000312 |
Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France] | Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study |
| 000418 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analyzing Requirements Using Environment Modelling |
| 000485 |
Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France] | Second International Workshop on Formal Integrated Development Environment |
| 000861 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Formal Evaluation of Landing Gear System |
| 000910 |
Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France] | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems |
| 000928 |
Dominique Méry [France] | Playing with State-Based Models for Designing Better Algorithms |
| 000934 |
Gabriel Ciobanu ; Dominique Méry [France] | Theoretical Aspects of Computing – ICTAC 2014 |
| 000A25 |
Neeraj Kumar Singh [Canada] ; Dominique Méry [France] | Event B (english version) |
| 000A90 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | The Semantics of Refinement Chart |
| 000B19 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement |
| 000B23 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modeling an Aircraft Landing System in Event-B |
| 000C14 |
Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | Proceedings 1st Workshop on Formal Integrated Development Environment |
| 000C21 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Modelling an Aircraft Landing System in Event-B (Full Report) |
| 000D15 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version) |
| 000E57 |
Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada] | The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) |
| 000E82 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Analysis of Self-* and P2P Systems using Refinement (Full Report) |
| 001103 |
Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)] | Transforming EVENT B Models into Verified C# Implementations |
| 001157 |
Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France] | From Event-B Specifications to Programs for Distributed Algorithms |
| 001169 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms |
| 001170 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
| 001261 |
Dominique Méry [France] ; Neeraj Kumar Singh [Canada] | Event B |
| 001286 |
Gérard Morel [France] ; Jean-Marc Dupont [France] ; Romain Lieber [France] ; Fabien Bouffaron [France] ; Dominique Méry [France] ; Frédérique Mayer [France] ; Jean-Luc Marty [France] | Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie système |
| 001336 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formal Specification of Medical Systems by Proof-Based Refinement |
| 001570 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms |
| 001572 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Ideal Mode Selection of a Cardiac Pacing System |
| 001582 |
Dominique Méry [France] ; Michael Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
| 001624 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Closed-Loop Modeling of Cardiac Pacemaker and Heart |
| 001798 |
Manamiary Bruno Andriamiarina [France] ; Hayat Daoud [Algérie] ; Mostefa Belarbi [Algérie] ; Dominique Méry [France] ; Camel Tanougast [France] | Formal Verification of Fault Tolerant NoC-based Architecture |
| 001801 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France] | Revisiting Snapshot Algorithms by Refinement-based Techniques |
| 001898 |
Yamine Ait Ameur [France] ; Dominique Méry [France] | Handling Heterogeneity in Formal Developments of Hardware and Software Systems |
| 001952 |
Jean-Marc Dupont [France] ; Romain Lieber [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Fabien Bouffaron [France] | Spécification d'un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d'un capot moteur en situation de maintenance aéronautique |
| 001977 |
Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
| 001993 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Critical systems development methodology using formal techniques |
| 001C56 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Medical Protocol Diagnosis Using Formal Methods |
| 001C85 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata |
| 001F77 |
Dominique Méry [France] ; Didier Fass [France] | Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation |
| 001F96 |
Mohamed Tounsi [France] ; Mohamed Mosbah [France] ; Dominique Méry [France] | Proving Distributed Algorithms by Combining Refinement and Local Computations |
| 002022 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formal Development and Automatic Code Generation : Cardiac Pacemaker |
| 002063 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Automatic Code Generation from Event-B Models |
| 002067 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analysis of DSR Protocol in Event-B |
| 002084 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | A generic framework: from modeling to code |
| 002096 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | EB2J : Code Generation from Event-B to Java |
| 002162 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata |
| 002165 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Medical Protocol Diagnosis using Formal Methods |
| 002167 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata |
| 002243 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] | Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract) |
| 002245 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] | Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report) |
| 002290 |
Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France] | Refinement-based Verification of Local Synchronization Algorithms |
| 002642 |
Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France] | Refinement-Based Verification of Local Synchronization Algorithms |
| 002760 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Analysis of DSR Protocol in Event-B |
| 002780 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | A generic framework: from modeling to code |
| 002835 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods |
| 002889 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Functional Behavior of a Cardiac Pacing System |
| 002A46 |
Dominique Méry [France] ; Stephan Merz [France] | Integrated Formal Methods |
| 002A67 |
Dominique Méry [France] ; Mohammed Mosbah [France] ; Mohammed Tounsi [France] | Proving Distributed Algorithms by Combining Refinement and Local Computations |
| 002A78 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | EB2C : A Tool for Event-B to C Conversion Support |
| 002C37 |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
| 002E30 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formal Development of Two-Electrode Cardiac Pacing System |
| 003005 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Trustable Formal Specification for Software Certification |
| 003012 |
Yamine Ait Ameur [France] ; Frédéric Boniol [France] ; Dominique Méry [France] ; Virginie Wiels [France] | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems |
| 003036 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Real-Time Animation for Formal Specification |
| 003037 |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
| 003098 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptographic Protocols Analysis in Event B |
| 003426 |
Dominique Méry [France] | Refinement-Based Guidelines for Algorithmic Systems |
| 003548 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptologic protocols analysis using proof-based patterns |
| 003549 |
Nazim Benaissa [France] ; Dominique Méry [France] | Cryptographic Protocols Analysis in Event B |
| 003576 |
Dominique Méry [France] | A Simple Refinement-based Method for Constructing Algorithms |
| 003690 |
Mohamed Tounsi [France] ; Ahmed Hadj Kacem ; Mohamed Mosbah [France] ; Dominique Méry [France] | A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems |
| 003715 |
Nazim Benaissa [France] ; Dominique Méry [France] | Développement combiné et prouvé de systèmes transactionnels cryptologiques |
| 003890 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
| 003967 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development |
| 003C55 |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Pacemaker's Functional Behaviors in Event-B |
| 003D09 |
Julien Siebert [France] ; Joris Rehm [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France] ; Dominique Méry [France] | AA4MM coordination model and event-B specification |
| 003E99 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2) |
| 003F09 |
Dominique Méry [France] | Teaching programming methodology using Event B |
| 004096 |
Dominique Cansell [France] ; Dominique Méry [France] | The Event-B Modelling Method - Concepts and Case Studies |
| 004156 |
Dominique Cansell [France] ; Paul Gibson [Irlande (pays)] ; Dominique Méry [France] | Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface |
| 004490 |
Nazim Benaissa [France] ; Dominique Méry [France] | Développement incrémental prouvé de systèmes répartis : le cas Mondex |
| 004749 |
Dominique Cansell [France] ; Paul Gibson [France] ; Dominique Méry [France] | Formal verification of tamper-evident storage for e-voting |
| 004A60 |
Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
| 004B96 |
Dominique Cansell [France] ; Dominique Méry [France] | Proved-Patterns-Based Development for Structured Programs |
| 004D78 |
Thierry Lecomte ; Dominique Méry [France] ; Dominique Cansell [France] | Patrons de conception prouvés |
| 004E32 |
Dominique Méry [France] ; Stephan Merz [France] | Specification and Refinement of Access Control |
| 004E83 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing old and new distributed algorithms by replaying an incremental proof-based development |
| 005004 |
Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
| 005124 |
Dominique Evrot [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Formal specification of safe manufacturing machines using the B method : application to a mechanical press |
| 005193 |
Dominique Méry [France] ; Stephan Merz [France] | Event Systems and Access Control |
| 005363 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time Constraint Patterns for Event B Development |
| 005463 |
Nazim Benaïssa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of Security Policy into System Modeling |
| 005599 |
Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
| 005604 |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
| 005633 |
Dominique Cansell [France] ; Dominique Méry [France] | Event B |
| 005717 |
Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method |
| 005901 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Modelling SystemC scheduler by refinement |
| 005924 |
Denis Abraham ; Dominique Cansell [France] ; Patrick Ditsch ; Dominique Méry [France] ; Cyril Proch [France] | Synthesis of the QoS for digital TV services |
| 005A67 |
Loïc Fejoz [France] ; Dominique Méry [France] ; Stephan Merz [France] | DIXIT: a Graphical Toolkit for Predicate Abstractions |
| 005B46 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 005C91 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Modelling SystemC scheduler by refinement |
| 005F27 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
| 005F61 |
Loïc Fejoz ; Dominique Méry [France] ; Stephan Merz | DIXIT : a Graphical Toolkit for Predicate Abstractions |
| 006015 |
Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
| 006033 |
Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch ; Denis Abraham ; Patrick Ditsch | The challenge of QoS for digital television services |
| 006200 |
Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
| 006339 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 006393 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement |
| 006459 |
Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
| 006460 |
Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch [France] ; Denis Abraham [France] ; Patrick Ditsch [France] | The challenge of QoS for digital television services |
| 006852 |
Dominique Cansell [France] ; Jean-François Culat ; Dominique Méry [France] ; Cyril Proch | Derivation of SystemC code from abstract system models |
| 006A31 |
Cyril Proch ; Dominique Cansell [France] ; Dominique Méry [France] | Projet RNRT EQUAST ; SP2 Spécification incrémentale du système |
| 006D60 |
Dominique Méry [France] | Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation |
| 006E59 |
Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method : Concepts and Case Studies |
| 006F10 |
Gérard Morel [France] ; Dominique Méry [France] ; Jean-Baptiste Léger ; Thierry Lecomte | Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues |
| 007035 |
Dominique Cansell [France] ; Jean-François Culat [France] ; Dominique Méry [France] ; Cyril Proch [France] | Derivation of SystemC code from abstract system models |
| 007534 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
| 007606 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
| 007680 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
| 007822 |
Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
| 007A57 |
Jean-Raymond Abrial [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Formal Derivation of Spanning Trees Algorithms |
| 007B21 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
| 007B60 |
Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
| 007C32 |
Dominique Méry [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France] | Modélisation des systèmes réactifs |
| 007D69 |
Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch [France] ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
| 007E22 |
Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
| 007E23 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
| 007E34 |
Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
| 008026 |
Hervé Panetto [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Formalisation of enterprise modelling standards using UML and the B method. |
| 008115 |
Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
| 008605 |
Hervé Panetto ; Jean-François Petin ; Dominique Méry [France] | Formalisation of enterprise modelling standards using UML and the B method |
| 008660 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008668 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008794 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008812 |
Dominique Méry [France] ; Beverly Sanders [États-Unis] | Editorial Note |
| 008910 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008A07 |
Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
| 008B23 |
Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008B26 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008F02 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
| 008F79 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
| 009492 |
Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Modélisation et analyse de la documentation technique d'un système |
| 009566 |
Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
| 009652 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
| 009832 |
J Ohn Paul Gibson ; Dominique Méry [France] | Fair Objects |
| 009935 |
Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
| 009951 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
| 009956 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
| 009A23 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj | Abstraction and Refinement of Concurrent Programs and Formal Specification |
| 009A39 |
Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | A taxonomy for triggered interactions using fair object semantics |
| 009B66 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
| 009C29 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
| 009C67 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
| 009C87 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
| 009E06 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View |
| 009E44 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with Abstraction and Refinement for Managing Features Interactions |
| 009E94 |
Paul Gibson [Irlande (pays)] ; Dominique Méry [France] | Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem |
| 009E95 |
Beverly Sanders [États-Unis] ; Dominique Méry [France] | Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 |
| 009F87 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
| 00A007 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
| 00A042 |
Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
| 00A079 |
John Paul Gibson [France] ; Dominique Méry [France] | Fair Objects |
| 00A112 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
| 00A161 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
| 00A162 |
Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
| 00A235 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
| 00A281 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
| 00A282 |
Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Abstraction and Refinement of Concurrent Programs and Formal Specification |
| 00A285 |
Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | A taxonomy for triggered interactions using fair object semantics |
| 00A318 |
Dominique Méry [France] ; Yassine Mokhtari [France] | Validation of formal specifications |
| 00A353 |
Raphaël Couturier [France] ; Bertrand Couturier [France] ; Dominique Méry [France] | A compiler for parallel Unity programs using OpenMp |
| 00A360 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] ; Yassine Mokhtari [France] | Animating formal specifications : a telephone simulation case study |
| 00A383 |
Dominique Méry [France] | Special Issue FMPPTA'98 |
| 00A495 |
John Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | Integration Problems in Telephone Feature requirements |
| 00A514 |
Dominique Méry [France] | Requirements for a Temporal B \\ Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems |
| 00A522 |
Dominique Méry [France] ; Guy-René Perrin | Edition Spéciale RenPar'10 |
| 00A588 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
| 00A593 |
Jean-Paul Gibson ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
| 00A624 |
Jean-Paul Gibson ; Dominique Méry [France] ; Yassine Mokhtari | Animating formal specifications : a telephone simulation case study |
| 00A687 |
Patrick Lamboley ; Jean-François Pétin ; Dominique Méry [France] | Towards a formal engineering framework for process automation |
| 00A691 |
Dominique Méry [France] ; Yassine Mokhtari | Validation of formal specifications |
| 00A721 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
| 00A788 |
Raphaël Couturier ; Bertrand Couturier ; Dominique Méry [France] | A compiler for parallel Unity programs using OpenMp |
| 00AA49 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications: Application to TLA |
| 00AB07 |
Dominique Méry [France] | Special Issue FMPPTA'98 |
| 00AB10 |
Dominique Méry [France] ; Guy-René Perrin | Edition Spéciale RenPar'10 |
| 00AC07 |
Patrick Lamboley [France] ; Jean-François Pétin [France] ; Dominique Méry [France] | Towards a formal engineering framework for process automation |
| 00AC41 |
Dominique Méry [France] | Requirements for a Temporal B
Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems |
| 00AC87 |
John Paul Gibson ; Geoff Hamilton ; Dominique Méry [France] | Integration Problems in Telephone Feature requirements |
| 00AD08 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
| 00AD56 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
| 00AD57 |
Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
| 00AD98 |
Bruno Mermet [France] ; Dominique Méry [France] ; Dmitri Samborski | Spécification de services : une approche avec B |
| 00AE09 |
Jean-Paul Gibson ; Dominique Méry [France] | Fair Objects |
| 00AE28 |
Bruno Mermet ; Dominique Méry [France] ; Dmitri Samborski | Spécification de services : une approche avec B |
| 00AE74 |
Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
| 00AF61 |
Jean-François Pétin ; Gerard Morel ; Dominique Méry [France] ; Patrick Lamboley | Process control engineering : contribution to a formal structuring framework with the B method |
| 00AF62 |
Dominique Méry [France] ; Beverly Sanders | Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
| 00AF72 |
Dominique Méry [France] ; Jean-Francois Pétin | Formal engineering methods for modelling and verification of control systems |
| 00AF86 |
Raphaël Couturier ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
| 00B026 |
Raphaël Couturier ; Dominique Méry [France] | Parallelization of a Monte Carlo simulation of a spins system |
| 00B102 |
Bruno Mermet ; Dominique Méry [France] | Service specifications to B, or not to B |
| 00B200 |
Dominique Méry [France] ; Guy-René Perrin | RenPar'10 |
| 00B221 |
Jean-Paul Gibson ; Dominique Méry [France] | Always and Eventually in Object Requirements |
| 00B222 |
Jean-Paul Gibson ; Dominique Méry [France] | Teaching Formal Methods : Lessons to learn |
| 00B331 |
Jean François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France] | Process control engineering: Contribution to a formal structuring framework with the B method |
| 00B395 |
Raphaël Couturier [France] ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
| 00B445 |
Guy-René Perrin ; Dominique Méry [France] | RenPar'10 |
| 00B510 |
Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
| 00B515 |
Dominique Méry [France] ; Jean-Paul Gibson [France] | Fair Objects |
| 00B556 |
Dominique Méry [France] ; Beverly Sanders | Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
| 00B567 |
Jean-Paul Gibson [France] ; Dominique Méry [France] | Teaching Formal Methods: Lessons to learn |
| 00B580 |
Bruno Mermet [France] ; Dominique Méry [France] | Service specifications to B, or not to B |
| 00B600 |
Jean-François Pétin [France] ; Gérard Morel [France] ; Dominique Méry [France] ; Patrick Lamboley [France] | Process control engineering: contribution to a formal structuring framework with the B method |
| 00B604 |
Raphaël Couturier [France] ; Dominique Méry [France] | Parallelization of a Monte Carlo simulation of a spins system |
| 00B650 |
Dominique Méry [France] ; Jean-François Pétin [France] | Formal engineering methods for modelling and verification of control systems |
| 00B694 |
Raphaël Couturier [France] ; Dominique Méry [France] | An experiment in parallelizing an application using formal methods |
| 00B698 |
Jean-Paul Gibson [France] ; Dominique Méry [France] | Always and Eventually in Object Requirements |
| 00B765 |
Dominique Méry [France] | Logiques temporelles |
| 00B848 |
Bruno Mermet ; Dominique Méry [France] | Détection d'interactions de services : une approche avec B |
| 00B864 |
Bruno Mermet ; Dominique Méry [France] | Spécification de services et gestion des interactions |
| 00B953 |
Bruno Mermet ; Dominique Méry [France] | Incremental Specification of Telecommunication Services |
| 00B973 |
Jean-Paul Gibson ; Dominique Méry [France] | A Unifying Framework for Multi-Semantic Sofware Development |
| 00B998 |
Dominique Méry [France] | Formal methods for parallel programming : theory and applications |
| 00BA04 |
Raphaël Couturier ; Dominique Méry [France] | Coordination of abstract machines |
| 00BA20 |
Jean-Paul Gibson ; Dominique Méry [France] | Telephone Feature Verification : Translating SDL to TLA+ |
| 00BA58 |
Jean-Paul Gibson ; Bruno Mermet ; Dominique Méry [France] | Feature Interactions : a Mixed Semantic Model Approach |
| 00BA74 |
Bruno Mermet ; Dominique Méry [France] | Safe combinations of services using B |
| 00BE27 |
Dominique Méry [France] | Proceedings of the First International Workshop on Formal Methods for Parallel Programming : Theory and Applications |
| 00BE55 |
Jean-Paul Gibson ; Dominique Méry [France] | A Unifying Model for Specification and Design |
| 00BF13 |
Dominique Méry [France] | Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions |
| 00BF18 |
Dominique Méry [France] | De la tranformation de prédicats à la transformation de programmes |
| 00C532 |
Jean-Paul Gibson ; Dominique Méry [France] ; Denis Roegel | Formal Methods for Concurrency, Parallelism and Distribution |
| 00C624 |
Abdelillah Mokkedem [France] ; Dominique Méry [France] | On using temporal logic for refinement and compositional verification of concurrent systems |
| 00CD57 |
Abdelillah Mokkedem [France] ; Dominique Méry [France] | A stuttering closed temporal logic for modular reasoning about concurrent programs |
| 00D206 |
Dominique Méry [France] ; Abdelillah Mokkedem [France] | Crocos: An integrated environment for interactive verification of SDL specifications |
| 00D230 |
Naïma Brown [France] ; Dominique Méry [France] | A proof environment for concurrent programs |
| 00E582 |
Dominique Méry [France] | Méthode axiomatique sur les propriétés de fatalité des programmes parallèles |
| 00E859 |
Dominique Méry [France] | A proof system to derive eventuality properties under justice hypothesis |
